机译:SymbexNet:使用符号执行和基于规则的规范测试网络协议实现
机译:使用Estelle-C编译器半自动执行协议
机译:使用符号执行网络协议来增强一致性测试
机译:使用符号分布式执行的协议实现的集成测试
机译:具有单个中继节点的无线传感器网络中通信协议的设计,实现和测试。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:编译协议实现测试的符号攻击
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范